Évolution, développement, révolution. Que de désinvoltures !

Éditorial: Informatique et évolution de société

Modélisation rigoureuse en SPEM de procédé de développement

Mastering software process is a keypoint in the improvement of application quality. OMG proposes the SPEM metamodel to model software processes. Unfortunately, it is a high level specification which lacks a formal description of its semantics. It is thus difficult to use SPEM. So, we propose a restriction of SPEM that clarifies its concepts and which is completed with a formalization of its sem...

Sciences, Médecine, Pharmacie de la Révolution à l'Empire (1789–1815)

Sciences, Medecine, Pharmacie de la Revolution d l'Empire (1789-1815), by PIERRE HUARD, with the collaboration of M. D. Grmek, Paris, Roger Dacosta, 1970, pp. 379, 154 plates (17 coloured), 130 NF. The French Revolution and the Napoleonic period that immediately followed it is the great watershed of modern history. To it may be traced not only many of the sweeping political and social changes o...

Atlas de la Révolution française, 7: Médecine et santé

forms one chapter of Building types (1976), lamented the lack of studies in this field. "There are", he wrote, "few 'types' as fruitful as the Hospital, if one wants to see how functional thought, i.e. medical convictions and discoveries, is reflected in plans and elevations; the pavilion type instead of the cruciform plan and the big blocks of today owing to antisepsis." Dr Taylor is one of th...

La Validation dans le Processus de Développement

The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect i...